Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
51	Final test: Type Theory and Coqjanuary 2011, 10:30–12:30, HG00.308 The mark for this test is the total number of points divided by ten, where the first 10 points are free. 1. Give a term of the simply typed la Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-18 05:58:42 Mathematical logic Logic Type theory Theoretical computer science Lambda calculus Dependently typed programming Proof theory Logic in computer science CurryHoward correspondence Dependent type System F Simply typed lambda calculus
52	Terrain English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2015-07-22 04:38:41 Software engineering Mathematical optimization Constraint Contour line Class Computer programming Computing
53	Introduction to MATLAB Alisdair Tullo Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2015-01-09 09:18:33 Software Application software Mathematical software Array programming languages Cross-platform software Linear algebra MATLAB Parallel computing Robotics Toolbox for MATLAB
54	Master Thesis Submitted in partial fulfilment of the requirements for the degree of Master of Arts in General Linguistics Alignment and word comparison Add to Reading List Source URL: www.evolaemp.uni-tuebingen.de Language: English - Date: 2014-10-22 10:33:51 Computational phylogenetics Bioinformatics Dynamic programming NeedlemanWunsch algorithm Sequence alignment Biology Applied mathematics Mathematical and theoretical biology
55	Moment methods in extremal geometry David de Laat Delft University of Technology (Joint with Fernando Oliveira and Frank Vallentin) 51st Dutch Mathematical Congress Add to Reading List Source URL: www.daviddelaat.nl Language: English Mathematics Geometry Discrete geometry NP-complete problems Circle packing Conjectures Operations research Sphere packing Independent set Tammes problem Kepler conjecture Semidefinite programming
56	COLUMN GENERATION WITH GAMS ERWIN KALVELAGEN Abstract. This document describes an implementation of a Column Generation algorithm using GAMS. The well-known cutting stock problem and a personnel planning problem are used Add to Reading List Source URL: www.amsterdamoptimization.com Language: English - Date: 2011-03-16 12:56:11 Operations research Mathematics Mathematical analysis Computational complexity theory Knapsack problem Cutting stock problem Dynamic programming Pi Linear programming Mathematical optimization Column generation
57	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Mathematical optimization Operations research Linear programming Numerical analysis Matrix Hypergraph Duality Regression analysis Linear least squares Dynamic programming
58	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
59	History dependent public policies David Evans ∗ Thomas J. Sargent‡† Add to Reading List Source URL: www.tomsargent.com Language: English - Date: 2015-04-08 13:04:02 Computing Software Computer programming Equations Mathematical optimization Application programming interfaces Bellman equation Control theory Dynamic programming Qt P22 Ramsey problem
60	Offer of Complimentary Software License(s) Hello, MathWorks is pleased to support the DNA Data Bank of Japan Data Analytics Challenge. MathWorks will provide software, training, and access to MathWorks engineering mentor Add to Reading List Source URL: www.ddbj.nig.ac.jp Language: English - Date: 2016-07-05 21:40:35 Software Application software Mathematical software Cross-platform software Array programming languages Computer algebra systems Optimization Toolbox MathWorks MATLAB Feature Selection Toolbox

UPDATE